Eléments de l'association
|
List of bibliographic references
Number of relevant bibliographic references: 15.Ident. | Authors (with country if any) | Title |
---|---|---|
004F39 | Gérald Oster [Suisse] ; Pascal Molli [France] ; Pascal Urso [France] ; Abdessamad Imine [France] | Tombstone Transformation Functions for Ensuring Consistency in Collaborative Editing Systems |
004F50 | Gérald Oster [Suisse] ; Pascal Urso [France] ; Pascal Molli [France] ; Abdessamad Imine [France] | Data Consistency for P2P Collaborative Editing |
005863 | Gérald Oster [France] ; Pascal Urso [France] ; Pascal Molli [France] ; Abdessamad Imine [France] | Edition collaborative sur réseau pair-à-pair à large échelle |
005887 | Abdessamad Imine [France] ; Pascal Molli [France] ; Gérald Oster [France] ; Michaël Rusinowitch [France] | Towards Synchronizing Linear Collaborative Objects with Operation Transformation |
006476 | Gérald Oster [France] ; Pascal Urso [France] ; Pascal Molli [France] ; Abdessamad Imine [France] | Real time group editors without Operational transformation |
006480 | Gérald Oster [Suisse] ; Pascal Urso [France] ; Pascal Molli [France] ; Abdessamad Imine [France] | Proving correctness of transformation functions in collaborative editing systems |
006489 | Gérald Oster [France] ; Pascal Urso [France] ; Pascal Molli [France] ; Hala Skaf-Molli [France] ; Abdessamad Imine [France] | Optimistic Replication for Massive Collaborative Editing |
006641 | Gérald Oster [France] ; Pascal Molli [France] ; Hala Skaf-Molli [France] ; Abdessamad Imine [France] | Un modèle sûr et générique pour la synchronisation de données divergentes |
007037 | Abdessamad Imine [France] ; Pascal Molli [France] ; Gérald Oster [France] ; Michaël Rusinowitch [France] | Deductive Verification of Distributed Groupware Systems |
007091 | Abdessamad Imine [France] ; Pascal Molli [France] ; Gérald Oster [France] ; Michaël Rusinowitch [France] | Achieving Convergence with Operational Transformation in Distributed Groupware Systems |
007143 | Pascal Molli [France] ; Gérald Oster [France] ; Hala Skaf-Molli [France] ; Abdessamad Imine [France] | Using the Transformational Approach to Build a Safe and Generic Data Synchronizer |
007434 | Abdessamad Imine [France] ; Pascal Molli [France] ; Gérald Oster [France] ; Pascal Urso [France] | VOTE: Group Editors Analyzing Tool |
007B85 | Pascal Molli [France] ; Gérald Oster [France] ; Hala Skaf-Molli [France] ; Abdessamad Imine [France] | Safe Generic Data Synchronizer |
007D68 | Abdessamad Imine [France] ; Pascal Molli [France] ; Gérald Oster [France] ; Michaël Rusinowitch [France] | Proving Correctness of Transformation Functions in Real-Time Groupware |
008B53 | Imine Abdessamad [France] ; Pascal Molli [France] ; Gérald Oster [France] ; Michaël Rusinowitch [France] | Development of Transformation Functions Assisted by a Theorem Prover |
This area was generated with Dilib version V0.6.33. |